Codepourri: Creating Visual Coding Tutorials Using A Volunteer Crowd Of Learners Mitchell Gordon and Philip J. Guo Department of Computer Science University of Rochester Rochester, NY 14627

Source URL: www.pgbovine.net

• Software engineering
• Computing
• Computer programming
• Object-oriented programming languages
• Scripting languages
• Functional languages
• Reference
• Annotation
• Writing
• Portable Document Format
• Tutorial
• Python

System Synthesis from a Monadic Functional Language By Garrin Kimmell Submitted to the graduate degree program in Electrical Engineering and Computer Science and the Graduate Faculty of the University of Kansas School of

Source URL: www.kestrel.edu

2015 30th IEEE/ACM International Conference on Automated Software Engineering “What parts of your apps are loved by users?1” Xiaodong Gu and Sunghun Kim Department of Computer Science and Engineering The Hong Kong U

Source URL: www.cse.ust.hk

Specification and Verification of Context-dependent Services Naseem Ibrahim, Vangalur Alagar, and Mubarak Mohammad Department of Computer Science & Software Engineering Concordia University, Montreal, Canada {n ibrah,ala

Source URL: rap.dsi.unifi.it

Verifying Probabilistic Correctness in Isabelle with pGCL David Cock NICTA Sydney, Australia∗ School of Computer Science and Engineering

Source URL: research.davidcock.fastmail.fm

Department of Computer Science and Engineering, IIT Delhi PhD Admissions, May 2016 ‐ Shortlisting Criteria for Interviews 05 May 2016 Qualifying Degree Category

Source URL: www.cse.iitd.ac.in

Nemo: A High-fidelity Noninvasive Power Meter System for Wireless Sensor Networks Ruogu Zhou, Guoliang Xing Department of Computer Science and Engineering, Michigan State University, USA {zhouruog,glxing}@cse.msu.edu

Source URL: www.cse.msu.edu

Agri-Info: Cloud Based Autonomic System for Delivering Agriculture as a Service Sukhpal Singh1, Inderveer Chana2 and Rajkumar Buyya3 1,2 Computer Science and Engineering Department, Thapar University, Patiala, Punjab, In

Source URL: www.cloudbus.org

Distributed Data Cube Analytics Dimitar Misev, Vlad Merticariu, Alex Dumitru and Peter Baumann School of Engineering and Computer Science, Jacobs University Bremen Large-Scale Scientific Information Systems Research Grou

Source URL: acmsocc.github.io

• NoSQL
• Data analysis
• Rasdaman
• Peter Baumann
• Big data
• Array programming
• Array DBMS

Real-Time Evolution of Neural Networks in the NERO Video Game Kenneth O. Stanley† , Bobby D. Bryant‡ , Igor Karpov‡ and Risto Miikkulainen‡ † School of Electrical Engineering and Computer Science, The Universit

Source URL: www.cse.unr.edu